#!/bin/csh
#
# Run this file to have a comparison 
#
foreach b (*_bench1.e)
	set cmd = "compile $b make -boost -O2"
	echo $cmd
	set cmd = "/bin/time ${SmallEiffel}/bin/$cmd"
	echo "   Compiling/Running :"
	$cmd >! tmp
	grep " real	" tmp
	/bin/time a.out >! tmp
	grep " real	" tmp
end

foreach b (*_bench1.e)
	set cmd = "compile $b make -require_check -O2"
	echo $cmd
	set cmd = "/bin/time ${SmallEiffel}/bin/$cmd"
	echo "   Compiling/Running :"
	$cmd >! tmp
	grep " real	" tmp
	/bin/time a.out >! tmp
	grep " real	" tmp
end
